/*
 * Copyright (c) 2008, Xiong Yingfei, the University of Tokyo
 * All rights reserved.
 */
package ac.jp.u_tokyo.SyncLib.language3;

import java.util.Collection;

import ac.jp.u_tokyo.SyncLib.language.EvaluationFailedException;
import ac.jp.u_tokyo.SyncLib.language.GraphCombinatorBody;

public abstract class Part {
	public abstract Var getConnectionVar(Collection<String> genericParas) throws EvaluationFailedException;
	public abstract void addBody(GraphCombinatorBody body, Collection<String> genericParas, Var var) throws EvaluationFailedException;
	public abstract Collection<Var> getVarUsed(Collection<String> genericParas)
	throws EvaluationFailedException;

}